A Survey of Web Scale Reasoning

for dissemination) In this document, we make a survey of the relations between Web scale reasoning and various reasoning approaches which have been developed in computer science, artificial intelligence, logics, cognitive science and other relevant areas. The investigated reasoning approaches are: approximate reasoning, resource bounded reasoning, rule-based reasoning, contextual and modular reasoning, and distributed and parallel reasoning. All of the reasoning approaches are examined with respect to the five aspects of web scale reasoning: Scalability, Heterogeneity, Dynamcis, Inconsistency, and Parallelism. In this document we also present a systematic analysis of the various use cases and tasks of semantic web reasoning, and discuss these tasks and use cases of with respect to the aspects of web scale reasoning.